Formalizing a Design Technique for Distributed Programs
نویسندگان
چکیده
ADL-d is a graphical design technique for parallel and distributedsoftware, in which communicationmodeling plays a central part. Recently, we have used formal methods to define ADL-d’s semantics. The original objective was to provide well-defined guidelines for future implementations of ADL-d’s communication constructs, but, as it turned out, significant feedback resulted to the notation itself. We give an outline of the ADL-d notation and its intuitive semantics. Also, we introduce the formal semantics, and discuss what impact this formalization has had on the original notation.
منابع مشابه
Ultra-Widband Distributed Amplifier Using Loss Compensation Technique on Both Input and Output Circuit
In this paper, we analyze a distributed amplifier based on input/output attenuation compensation. The analysis is carried out for a HEMT transistor; and a constant-k section filter is used to calculate the amplifier’s characteristics such as attenuation factor, phase constant and gain. The proposed design approach enables us to examine the tradeoff among the variables, which include the type an...
متن کاملRobust Distributed Source Coding with Arbitrary Number of Encoders and Practical Code Design Technique
The robustness property can be added to DSC system at the expense of reducing performance, i.e., increasing the sum-rate. The aim of designing robust DSC schemes is to trade off between system robustness and compression efficiency. In this paper, after deriving an inner bound on the rate–distortion region for the quadratic Gaussian MDC based RDSC system with two encoders, the structure of...
متن کاملA Structured Design Technique for Distributed Programs
A non-formal motivation and description is given of ADLd, a graphical design technique for parallel and distributed software. ADL-d allows a developer to construct an application in terms of communicating processes. The technique distinguishes itself from others by its rigid orthogonal approach to communication modeling, which is advantageous in many areas. Without being committed to one partic...
متن کاملLanguage Support for Design Patterns Using Attribute Extension
We present a technique for formalizing design patterns using a technique based on attribute grammars. The technique allows design pattern applications to be identified in the source code, and supports automatic checking that the pattern is applied correctly. We expect the technique to be particularly useful when specializing frameworks built using design patterns.
متن کاملCross-Platform Development of High Performance Applications Using Generic Programming
We investigate methods for creating highly portable parallel and distributed applications using the programming language C++. The paper elaborates on software engineering issues for efficiently mapping abstract class interfaces to system functionality — typically designed by applying the wrapper facade design pattern — on a large number of target platforms. We introduce a novel mapping techniqu...
متن کامل